1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | mtc-m16.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 6qtX3pFwXQZ3r59YDa/Jeqmo |
Repositório | sid.inpe.br/iris@1916/2005/11.21.18.18 |
Última Atualização | 2015:07.06.12.39.14 (UTC) marciana |
Repositório de Metadados | sid.inpe.br/iris@1916/2005/11.21.18.18.16 |
Última Atualização dos Metadados | 2021:02.11.21.05.02 (UTC) administrator |
Chave Secundária | INPE-13073-PRE/8337 |
Chave de Citação | AmbrosioMaViCaSaMa:2005:MeDeFa |
Título | A methodology for designing fault injection experiments as an addition to communication systems conformance testing |
Formato | On-line |
Projeto | Qualidade de Software Embarcado em Aplicações Espaciais (QSEE) |
Ano | 2005 |
Data de Acesso | 03 maio 2024 |
Tipo Secundário | PRE CI |
Número de Arquivos | 1 |
Tamanho | 216 KiB |
|
2. Contextualização | |
Autor | 1 Ambrosio, Ana Maria 2 Mattiello-Francisco, Fátima 3 Vijaykumar, Nandamudi Lankalapalli 4 Carvalho, Solon Venâncio de 5 Santiago, Valdivino 6 Martins, Eliane |
Grupo | 1 DSS-INPE-MCT-BR 2 DSS-INPE-MCT-BR 3 LAC-INPE-MCT-BR 4 LAC-INPE-MCT-BR |
Afiliação | 1 Instituto Nacional de Pesquisas Espaciais, Engenharia e Tecnologia Espacial (INPE.ETE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Nacional de Pesquisas Espaciais. Laboratório Associado de Matemática e Computação Aplicada (INPE.LAC) 4 Instituto Nacional de Pesquisas Espaciais. Laboratório Associado de Matemática e Computação Aplicada (INPE.LAC) 5 Instituto Nacional de Pesquisas Espaciais (INPE) 6 Universidade Estadual de Campinas (UNICAMP) |
Nome do Evento | International Conference on Dependable Systems and Networks. |
Localização do Evento | Yokohama, Japan |
Data | 28 june - 01 jully, 2005 |
Editora (Publisher) | INPE |
Páginas | 06 |
Título do Livro | Proceedings |
Histórico (UTC) | 2005-11-21 18:18:26 :: jefferson -> administrator :: 2006-11-09 19:05:11 :: administrator -> jefferson :: 2008-01-11 16:08:04 :: jefferson -> administrator :: 2015-04-01 16:37:31 :: administrator -> marciana :: 2005 2015-07-06 12:39:15 :: marciana -> administrator :: 2005 2021-02-11 21:05:02 :: administrator -> marciana :: 2005 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Palavras-Chave | SPACE ENGINEERING AND TECHNOLOGY Testing methodology Fault injection Communication faults Communication systems ENGENHARIA E TECNOLOGIA ESPACIAL Metodologia de teste Injeção de falha Falha de comunicação istemas de comunicação |
Resumo | Conformance testing aims at validating if an unit under test accepts the normal expected inputs; and if it properly rejects erroneous-inputs such that consistency with the original specification is maintained. Methods for automatically generating test cases for protocol conformance testing have long been progressed. Most of them depend on state-based specifications, and may detect transition faults. However, real protocol faults go beyond the state transition faults. Based on previous research in building testing tools for conformance and for fault injection, we propose a testing methodology which guides the test personnel to model the exceptional behavior of a unit under test using UML-diagrams and an external fault model as well. The modeling starts from a textual specification towards the fault cases definition. The fault cases are based on the communication fault-model and executed with SWIFI. The fault cases are deterministic fault injection experiments once they are derived from specification models. The methodology has been used to validate INPE'S in-house implementation of the communication system between the On-Board Data Handling (OBDH) computer and a payload experiment of Brazilian scientific satellites. The methodology and the experimental results of testing a real communication system are discussed and analyzed. |
Área | ETES |
Arranjo 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > A methodology for... |
Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSS > A methodology for... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | não têm arquivos |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/6qtX3pFwXQZ3r59YDa/Jeqmo |
URL dos dados zipados | http://urlib.net/zip/6qtX3pFwXQZ3r59YDa/Jeqmo |
Idioma | en |
Arquivo Alvo | ambrosio_a methodology.pdf |
Grupo de Usuários | administrator jefferson marciana |
Grupo de Leitores | administrator marciana |
Visibilidade | shown |
Detentor da Cópia | SID/SCD |
Permissão de Leitura | allow from all |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/446B2HE |
Lista de Itens Citando | sid.inpe.br/bibdigital/2021/02.11.21.02 2 |
Acervo Hospedeiro | sid.inpe.br/banon/2003/08.15.17.40 |
|
6. Notas | |
Campos Vazios | archivingpolicy archivist callnumber contenttype copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor electronicmailaddress isbn issn label lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress publisheraddress resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume |
|
7. Controle da descrição | |
e-Mail (login) | marciana |
atualizar | |
|